A Single-Sorted Theory of Multisets
نویسندگان
چکیده
منابع مشابه
Single valued neutrosophic multisets
In this paper, we have investigated single valued neutrosophic multisets in detail. Several operations have been defined on them and their important algebraic properties are studied.We have further introduced the notion of distance and similarity measures between two single valued neutrosophic multisets. An application of single valued neutrosophic multisets in medical diagnosis has been discus...
متن کاملInformation Theory over Multisets
Starting from Shannon theory of information, we present the case of producing information in the form of multisets, and encoding information using multisets. We compute the entropy of a multiset information source by constructing an equientropic string source (with interdependent symbols), and we compare this with a string information source with independent symbols. We then study the encoder a...
متن کاملMultisets in Type Theory
A multiset consists of elements, but the notion of a multiset is distinguished from that of a set by carrying information of how many times each element occurs in a given multiset. In this work we will investigate the notion of iterative multisets, where multisets are iteratively built up from other multisets, in the context Martin-Löf Type Theory, in the presence of Voevodsky’s Univalence Axio...
متن کاملA Unified Approach to the Theory of Normed Structures - Part I: the Single-sorted Case
We introduce the concept of a prenormed model of a particular kind of singlesorted finitary first-order theories, interpreted over a category with finite products. These are referred to as prealgebraic theories, for the fact that their signature comprises, together with arbitrary function symbols (of finite ariety), only relation symbols whose interpretation, in any possible model, is a reflexi...
متن کاملOrder-Sorted Feature Theory Unification
Order-sorted feature (OSF) terms provide an adequate representation for objects as flexible records. They are sorted, attributed, possibly nested, structures, ordered thanks to a subsort ordering. Sort definitions offer the functionality of classes imposing structural constraints on objects. These constraints involve variable sorting and equations among feature paths, including self-reference. ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 2014
ISSN: 0029-4527
DOI: 10.1215/00294527-2688042